#!/bin/bash
set -e

top_srcdir="${1}"
top_builddir="${2}"


if [[ -d "${top_builddir}/tests/dummy_install/" ]]; then
    rm -rf "${top_builddir}/tests/dummy_install/"
fi

mkdir -p "${top_builddir}/tests/dummy_install/"

cp ${top_builddir}/.libs/*.so "${top_builddir}/tests/dummy_install/."
